This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...